Performability analysis of avionics system with multilayer HM/FM using stochastic Petri nets
نویسندگان
چکیده
منابع مشابه
Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets
Haverkort, B.R., Approximate performability and dependability analysis using generalized stochastic Petri nets, Performance Evaluation 18 (1993) 61-78. Since current day fault-tolerant and distributed computer and communicat ion systems tend to be large and complex, their corresponding performability models will suffer from the same characteristics. Therefore, calculating performability measure...
متن کاملAnalysis of stochastic Petri nets with signals
Product-form models facilitate the efficient analysis of large stochastic models and have been sought after for some three decades. Apart from the dominating work on queueing networks, some product-forms were found for stochastic Petri nets (SPNs) that allow forkjoin constructs and for queueing networks extended to include special customers called signals, viz. G-networks. We appeal to the Reve...
متن کاملA Fuzzy Approach to Sequential Failure Analysis Using Petri nets
In highly competitive industrial market, the concept of failure analysis is an unavoidable fact in complex industrial systems. Reliability of such systems not only depends on the reliability of each element of these systems, but also depends on occurrence of sequence of failures. In this paper, a novel approach to sequential failure analysis is proposed which is based upon fuzzy logic and the c...
متن کاملAnalysis of discrete-time stochastic Petri nets
W. M. P. van der Aalst, K. M. van Hee and H. A. Reijers Eindhoven University of Technology, Department of Mathematics and Computing Science, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands Eindhoven University of Technology, Department of Technology Management, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands Deloitte & Touche Bakkenist, Management and ICT Consultants, P.O. Box 23103, ...
متن کاملPerformance Analysis of Message-Oriented Middleware Using Stochastic Petri Nets
This paper presents how to model and carry out the performance analysis of message-oriented middleware (MOM) using Generalised Stochastic Petri Net (GSPN) models. The results obtained from the Petri Net analysis are compared against ones measured in a commercial MOM. Additionally, some results are presented in order to demonstrate the flexibility and the benefits of the proposed model. This res...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Chinese Journal of Aeronautics
سال: 2013
ISSN: 1000-9361
DOI: 10.1016/j.cja.2013.02.014